Commitment to logic

Trust and Commitment in Dynamic Logic

Trust and commitment have been identified as crucial concepts in electronic commerce applications. In this paper we are interested in the relation between these social concepts. We introduce a dynamic logic in which violations of stronger commitments result in a higher loss of trustworthiness than violations of weaker ones. We illustrate how the logic can be used to analyze some aspects of a we...

Belief and the Logic of Religious Commitment

Belief and Rationality In recent years deep questions have been raised not only about what constitutes rational justification for religious beliefs, but also about the relevance of standard notions of justification to the analysis of a believer’s relation to her beliefs. Indeed, the net tendency of the Anglo-American discussion since (roughly) 1983 has been to say that religious persons can be ...

Extension of Logic regression to Longitudinal data: Transition Logic Regression

Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...

A Logic for Reasoning about Action, Preference, and Commitment

In this paper, we study the logical semantics of actions, preference, and commitment. The semantics is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. While the preference will influence the agent’s choice...

Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic